Combining DRA and CYC into a Network Friendly Calculus
نویسنده
چکیده
Qualitative spatial reasoning is usually performed using spatial calculi specially designed to represent certain aspects of spatial knowledge. However most calculi must be adapted for use in applications where additional constraints are at play. This paper combines the DRA and CYC algebras into a new calculus for reasoning within network structures. In the process we prove some interesting results about some properties of the standard operations, converse and composition, for versions of CYC and DRA.
منابع مشابه
Exploiting regularity in Cyc for text generation
In order to provide hypertext with text generation facilities we combine hypertext with knowledge bases and create expertext systems. This paper studies a particular characteristics of hierarchical semantic nets called regularity, which has proved to be a very valuable tool for expertext construction and use. We show how regularity can be transposed in the context of the Cyc knowledge base to p...
متن کاملDRA: a new buffer management scheme for wireless atm networks using aggregative large deviation principle
In this paper, we present a buffer management scheme called Dynamic Resource Allocation (DRA) that provides TCP traffic control guarantees to VCs carrying multiple dynamic discard thresholds (Multiple Dynamic Thresholds—MDT) over a wireless CDMA ATM network. It is assumed that we have TCP wireless ATM networks integrating the Code Division Multiple Access (CDMA). A major task activity related t...
متن کاملTucking RCC in Cyc's Ontological Bed
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpretations and of the possible challenge of an intended interpretation arise when integrating a particular theory in pre-existing formal and ontological settings. This paper reports on an instance of this general problem o...
متن کاملA Knowledge-Based Approach to Network Security: Applying Cyc in the Domain of Network Risk Assessment
CycSecure is a network risk assessment and network monitoring application that relies on knowledge-based artificial intelligence technologies to improve on traditional network vulnerability assessment. CycSecure integrates public reports of software faults from online databases, data gathered automatically from computers on a network and hand-ontologized information about computers and computer...
متن کاملThe NOAO Mosaic Data Handling System
The NOAO Mosaic CCD Camera consists of 8 CCDs producing an 8K x 8K format. The Mosaic Data Handling System (MDHS) receives the data in real time as it is read out of the detector. A data feed client (DFC) receives data packets from the detector system and broadcasts them on a message bus. A data capture agent (DCA) receives the data and writes it to a distributed shared image (DSIM). The images...
متن کامل